int run() {
	int inc() {
		a <- a + 1;
	}
	
	int a <- read();
	
	inc();
	inc();
	
	write(a);
}
